Library of American University of Madaba Search for 'su:Logic design and su-to:Engineering.'

Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /

New York, NY : Springer, 2005 . xiii, 348 p. 9783540287018 (softcover : alk. paper) | 3540287019 (softcover : alk. paper)

Place Hold on Formal techniques for computer systems and business processes :

Evaluation of Novel Approaches to Software Engineering

By Filipe, Joaquim.. . X, 257 p. 93 illus. 9783642540929

Place Hold on Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 173 p. 49 illus. 9783642454226

Place Hold on Evaluation of Novel Approaches to Software Engineering

ICT in Education, Research, and Industrial Applications

By Ermolayev, Vadim.. . XIV, 245 p. 52 illus. 9783642357374

Place Hold on ICT in Education, Research, and Industrial Applications

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity

By Kim, Tai-hoon.. . XVIII, 476 p. 263 illus. 9783642352676

Place Hold on Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity

VLSI-SoC: Advanced Research for Systems on Chip

By Mir, Salvador.. . X, 187 p. 104 illus. 9783642327704

Place Hold on VLSI-SoC: Advanced Research for Systems on Chip

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 219 p. 102 illus. 9783642323416

Place Hold on Evaluation of Novel Approaches to Software Engineering

The Correctness-by-Construction Approach to Programming

By Kourie, Derrick G.. . XIII, 264p. 37 illus. 9783642279195

Place Hold on The Correctness-by-Construction Approach to Programming

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 267p. 102 illus. 9783642233913

Place Hold on Evaluation of Novel Approaches to Software Engineering

Advances in Power Electronics and Instrumentation Engineering

By Das, Vinu V.. . X, 136p. 9783642204999

Place Hold on Advances in Power Electronics and Instrumentation Engineering

Process Mining

By van der Aalst, Wil M. P.. . XVI, 352p. 184 illus., 6 illus. in color. 9783642193453

Place Hold on Process Mining

Foundations of Algebraic Specification and Formal Software Development

By Sannella, Donald.. . XVI, 584 p. 9783642173363

Place Hold on Foundations of Algebraic Specification and Formal Software Development

Business Process Management

By Daniel, Florian.. . XVI, 355 p. 124 illus. 9783642401763

Place Hold on Business Process Management

Power Electronics and Instrumentation Engineering

By Das, Vinu V.. . X, 114p. 95 illus. 9783642157394

Place Hold on Power Electronics and Instrumentation Engineering

Theoretical Computer Science

By Calude, Cristian S.. . XII, 387p. 62 illus. 9783642152405

Place Hold on Theoretical Computer Science

Distributed, Parallel and Biologically Inspired Systems

By Hinchey, Mike.. . XVI, 316p. 113 illus. 9783642152344

Place Hold on Distributed, Parallel and Biologically Inspired Systems

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 324p. 135 illus. 9783642148194

Place Hold on Evaluation of Novel Approaches to Software Engineering

Specification and Verification of Declarative Open Interaction Models

By Montali, Marco.. . XXII, 411p. 97 illus. 9783642145384

Place Hold on Specification and Verification of Declarative Open Interaction Models

Information and Communication Technologies in Education, Research, and Industrial Applications

By Ermolayev, Vadim.. . XII, 379 p. 89 illus. 9783319039985

Place Hold on Information and Communication Technologies in Education, Research, and Industrial Applications

Distributed Programming

By Shankar, A. Udaya.. . XVIII, 387 p. 175 illus. 9781461448815

Place Hold on Distributed Programming

Specification of Software Systems

By Alagar, V.S.. . XXVI, 646 p. 9780857292773

Place Hold on Specification of Software Systems

Rigorous Software Development

By Almeida, José Bacelar.. . XIII, 307p. 52 illus. 9780857290182

Place Hold on Rigorous Software Development

Theory of Digital Automata

By Borowik, Bohdan.. . XII, 206 p. 229 illus., 59 illus. in color. 9789400752283

Place Hold on Theory of Digital Automata

Adiabatic Logic

By Teichmann, Philip.. . XVIII, 166 p. 9789400723450

Place Hold on Adiabatic Logic

Regular Nanofabrics in Emerging Technologies

By Ben Jamaa, M. Haykel.. . XX, 192 p. 9789400706507

Place Hold on Regular Nanofabrics in Emerging Technologies

Design, Analysis and Test of Logic Circuits Under Uncertainty

By Krishnaswamy, Smita.. . XI, 123 p. 71 illus. 9789048196449

Place Hold on Design, Analysis and Test of Logic Circuits Under Uncertainty

VLSI Physical Design: From Graph Partitioning to Timing Closure

By Kahng, Andrew B.. . XII, 310 p. 150 illus. 9789048195916

Place Hold on VLSI Physical Design: From Graph Partitioning to Timing Closure

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

By Czerwinski, Robert.. . XVI, 172 p. 138 illus. 9783642361661

Place Hold on Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Logic Circuit Design

By Vingron, Shimon P.. . XIV, 258p. 207 illus. 9783642276576

Place Hold on Logic Circuit Design

Emotional Cognitive Neural Algorithms with Engineering Applications

By Perlovsky, Leonid.. . X, 202 p. 9783642228308

Place Hold on Emotional Cognitive Neural Algorithms with Engineering Applications

User-Level Workflow Design

By Lamprecht, Anna-Lena.. . XXII, 223 p. 84 illus. 9783642453892

Place Hold on User-Level Workflow Design

Practical Aspects of Declarative Languages

By Sagonas, Kostis.. . XIV, 261 p. 82 illus. 9783642452840

Place Hold on Practical Aspects of Declarative Languages

Logic for Programming, Artificial Intelligence, and Reasoning

By McMillan, Ken.. . XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Conceptual Modeling

By Ng, Wilfred.. . XXVIII, 514 p. 165 illus. 9783642419249

Place Hold on Conceptual Modeling

Testing Software and Systems

By Yenigün, Hüsnü.. . XIV, 291 p. 84 illus. 9783642417078

Place Hold on Testing Software and Systems

Implementation and Application of Functional Languages

By Hinze, Ralf.. . X, 241 p. 72 illus. 9783642415821

Place Hold on Implementation and Application of Functional Languages

Constraint Solving and Language Processing

By Duchier, Denys.. . XII, 179 p. 30 illus. 9783642415784

Place Hold on Constraint Solving and Language Processing

Model-Driven Engineering Languages and Systems

By Moreira, Ana.. . XXVIII, 792 p. 299 illus. 9783642415333

Place Hold on Model-Driven Engineering Languages and Systems

Reachability Problems

By Abdulla, Parosh Aziz.. . XII, 223 p. 60 illus. 9783642410369

Place Hold on Reachability Problems

Formal Methods for Industrial Critical Systems

By Pecheur, Charles.. . XIV, 199 p. 46 illus. 9783642410109

Place Hold on Formal Methods for Industrial Critical Systems

Software Engineering for Resilient Systems

By Gorbenko, Anatoliy.. . X, 199 p. 87 illus. 9783642408946

Place Hold on Software Engineering for Resilient Systems

Frontiers of Combining Systems

By Fontaine, Pascal.. . XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Runtime Verification

By Legay, Axel.. . XVII, 426 p. 113 illus. 9783642407871

Place Hold on Runtime Verification

Algebraic Informatics

By Muntean, Traian.. . X, 275 p. 14 illus. 9783642406638

Place Hold on Algebraic Informatics

Computational Logic in Multi-Agent Systems

By Leite, João.. . XXIV, 391 p. 75 illus. 9783642406249

Place Hold on Computational Logic in Multi-Agent Systems

Formal Methods for Components and Objects

By Giachino, Elena.. . X, 241 p. 125 illus. 9783642406157

Place Hold on Formal Methods for Components and Objects

Logic Programming and Nonmonotonic Reasoning

By Cabalar, Pedro.. . XVIII, 570 p. 70 illus. 9783642405648

Place Hold on Logic Programming and Nonmonotonic Reasoning

Software Engineering and Formal Methods

By Hierons, Robert M.. . XVIII, 321 p. 113 illus. 9783642405617

Place Hold on Software Engineering and Formal Methods

Automated Reasoning with Analytic Tableaux and Related Methods

By Galmiche, Didier.. . X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Transactions on Petri Nets and Other Models of Concurrency VIII

By Koutny, Maciej.. . XVIII, 203 p. 85 illus. 9783642404658

Place Hold on Transactions on Petri Nets and Other Models of Concurrency VIII